John Milner and the Orthodox Cause

Final coalgebras and the Hennessy-Milner property

The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (small class) of formulas that has the Hennessy-Milner property of distinguishing coalgebraic states up to bisimilarity. This applies to coalgebras of any functor on the category of sets for which the bisimilarity relation is transitive. There are cases of functors that do have logics with the Henness...

'the New Challenges to Orthodox

What is interesting about these challenges is the response, or rather the lack of it, from those in the mainstream of American economics. The recent period has seen the persistence of social problems in the United States that were considered by most economists fifteen years ago as readily solvable within the framework of orthodox economic thinking. It has also seen a moving away from traditiona...

Chaperone Function: The Orthodox View

Brenda Milner : Career

Since 1950, the bulk of my research has been carried out at the Montreal Neurological Institute, where the availability of patients undergoing unilateral removals from temporal or frontal lobes to control epileptic seizures provided a unique opportunity for studying functional representation in the human brain. The research has evolved around three main themes; the complementary specializations...

Turing Meets Milner

We enhance the notion of a computation of the classical theory of computing with the notion of interaction from concurrency theory. In this way, we enhance a Turing machine as a model of computation to a Reactive Turing Machine that is an abstract model of a computer as it is used nowadays, always interacting with the user and the world.